Simple Planar Graph Partition into Three Forests

We describe a simple way of partitioning a planar graph into three edge-disjoint forests in O(n log n) time, where n is the number of its vertices. We can use this partition in Kannan et al.‘s graph representation (1992) to label the planar graph vertices so that any two vertices’ adjacency can be tested locally by comparing their names in constant time.